Exhaustive Proofs